declarative metatheory

说明性元理论